Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
981	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
982	iOS 101 Hands-On Challenges Copyright © 2014 Razeware LLC. All rights reserved. No part of this book or corresponding materials (such as text, images, or source code) may be reproduced or distributed by any Add to Reading List Source URL: cdn3.raywenderlich.com Language: English - Date: 2014-12-31 13:22:54 Constraint programming GUI widget Constraint logic programming
983	Sophia: An Information Plane for Networked Systems Mike Wawrzoniak Princeton University Larry Peterson Princeton University Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2009-06-12 12:01:20 Automated theorem proving Programming paradigms Actor model PlanetLab Software testing Prolog Eval Logic programming Futures and promises Computing Software engineering Computer programming
984	Identity Identity Identity is how we define ourselves, our surroundings, and those around us. These definitions can vary depending on where we are, who we are Add to Reading List Source URL: www.britishmuseum.org Language: English - Date: 2013-10-30 11:54:16 Logic Object Abstraction Philosophy Digital identity Identity formation Philosophical logic Object-oriented programming Identity
985	Iterated revision as prioritized merging James Delgrande Didier Dubois J´erˆome Lang Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:45:16 Logic programming Symbol Structure Model theory Mathematics Artificial intelligence Belief revision Knowledge representation Logic
986	Pattern Recognition for Coinductive Proof Trees Katya Komendantskaya School of Computing, University of Dundee, UK AI4FM’11,Edinburgh 29 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Computer programming Mathematical logic Category theory Functional programming Computability theory Coinduction Recursion Mathematical proof Machine learning Mathematics Logic Theoretical computer science
987	A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:52:20 Mathematics Model theory Constraint programming Boolean algebra Skolem normal form Davis–Putnam algorithm First-order logic Resolution Vampire Mathematical logic Logic Automated theorem proving
988	What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning James Delgrande School of Computing Science, Simon Fraser University, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:27:39 Non-classical logic Reasoning Logical consequence Knowledge representation Default logic Non-monotonic logic Inference Autoepistemic logic Entailment Logic Mathematical logic Logic programming
989	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming
990	Constraint databases: A tutorial introduction∗ Jan Van den Bussche Limburg University, Belgium 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:47 Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic